$\forall$$w$:World, $a$, $b$:E. w\_locl($w$;$a$;$b$) $\in$ Prop